2 A class of point counting problems
نویسنده
چکیده
This series of three lectures of one hour each was preceded by two introductory lectures by Henk van Tilborg about applications of discrete logarithms (in multiplicative groups as well as elliptic curves) to cryptography. Those introductory lectures should now serve as motivation for the coming three lectures. Large cyclic subgroups of prime order in elliptic curves or in Jacobians of higher genus curves are useful in the cryptographic applications because at present there seems to be no sub-exponential algorithm known for the discrete log problem in this context (except in some very special cases), in contrast to the index calculus algorithm for the discrete log problem in the multiplicative group of a finite field. This state of affairs is then used as justification for a smaller block size, preserving the security. Let us consider the case of elliptic curves. As one needs subgroups of prime order, it is crucial to know the exact order of groups such as E(Fq), where E is an elliptic curve over a finite field Fq, as well as the factorization into prime factors of them. In practice one uses finite fields Fq with q of size at least about 200 binary digits. At the start of elliptic curve cryptography around 1986 there was only one algorithm to compute #E(Fq), namely, Schoof’s algorithm, running in time O((log q)) (after improvements by Atkin, Elkies and Couveignes; Schoof’s original algorithm had running time O((log q))). Schoof’s algorithm is often said to use l-adic methods, because it uses the torsion points of all prime orders l up to a suitable bound. But, in 20001, Satoh came up with a so-called p-adic method. Here, p is the characteristic 1Note added during the workshop: Vercauteren showed me the article [5] by Goro Kato and Saul Lubkin,
منابع مشابه
Sinc-Galerkin method for solving a class of nonlinear two-point boundary value problems
In this article, we develop the Sinc-Galerkin method based on double exponential transformation for solving a class of weakly singular nonlinear two-point boundary value problems with nonhomogeneous boundary conditions. Also several examples are solved to show the accuracy efficiency of the presented method. We compare the obtained numerical results with results of the other existing methods in...
متن کاملAugmented Lagrangian method for solving absolute value equation and its application in two-point boundary value problems
One of the most important topic that consider in recent years by researcher is absolute value equation (AVE). The absolute value equation seems to be a useful tool in optimization since it subsumes the linear complementarity problem and thus also linear programming and convex quadratic programming. This paper introduce a new method for solving absolute value equation. To do this, we transform a...
متن کاملA Class of nonlinear $(A,eta)$-monotone operator inclusion problems with iterative algorithm and fixed point theory
A new class of nonlinear set-valued variationalinclusions involving $(A,eta)$-monotone mappings in a Banachspace setting is introduced, and then based on the generalizedresolvent operator technique associated with$(A,eta)$-monotonicity, the existence and approximationsolvability of solutions using an iterative algorithm and fixedpint theory is investigated.
متن کاملExistence of positive solution to a class of boundary value problems of fractional differential equations
This paper is devoted to the study of establishing sufficient conditions for existence and uniqueness of positive solution to a class of non-linear problems of fractional differential equations. The boundary conditions involved Riemann-Liouville fractional order derivative and integral. Further, the non-linear function $f$ contain fractional order derivative which produce extra complexity. Than...
متن کاملCapturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs
We show that the class of chordal claw-free graphs admits LREC=-definable canonization. LREC= is a logic that extends first-order logic with counting by an operator that allows it to formalize a limited form of recursion. This operator can be evaluated in logarithmic space. It follows that there exists a logarithmic-space canonization algorithm for the class of chordal claw-free graphs, and tha...
متن کامل$C$-class Functions and Common Fixed Point Theorems Satisfying $varphi $-weakly Contractive Conditions
In this paper, we discuss and extend some recent common fixed point results established by using $varphi-$weakly contractive mappings. A very important step in the development of the fixed point theory was given by A.H. Ansari by the introduction of a $C-$class function. Using $C-$class functions, we generalize some known fixed point results. This type of functions is a very important class of ...
متن کامل